public static string FormatHex <T>(this Vec256 <T> src, bool vectorize = true, char?sep = null) where T : struct => src.ToSpan().FormatHex(vectorize, sep);
void rotr_check(Vec256 <ulong> src, ulong offset, Vec256 <ulong> computed) => Claim.eq(bitspan.rotr(src.ToSpan(), offset), computed.ToSpan());
void rotl_check(Vec256 <uint> src, uint offset, Vec256 <uint> computed) => Claim.eq(bitspan.rotl(src.ToSpan(), offset), computed.ToSpan());
void rotr_check(Vec256 <ushort> src, ushort offset, Vec256 <ushort> computed) => Claim.eq(bitspan.rotr(src.ToSpan(), offset), computed.ToSpan());
void rotr_check(Vec256 <byte> src, byte offset, Vec256 <byte> computed) => Claim.eq(bitspan.rotr(src.ToSpan(), offset), computed.ToSpan());
public static BitString ToBitString <T>(this Vec256 <T> src) where T : struct => BitString.FromScalars(src.ToSpan());