fn gen_alloy_unsigned_tests() -> TokenStream
Generate complete proptest! block for Alloy unsigned integers