fn gen_alloy_signed_tests() -> TokenStream
Generate complete proptest! block for Alloy signed integers