pub fn test_bytesliced_mul<const WIDTH: usize, TL>()where TL: TowerLevel<OracleId>, TL::Base: TowerLevel<OracleId, Data = [OracleId; WIDTH]>,