Move prover returns: exiting with verification errors
error: post-condition does not hold
   ┌─ tests/sources/functional/address_serialization_constant_size.move:19:9
   │
19 │         ensures len(bcs::serialize(mv1)) == len(bcs::serialize(mv2));
   │         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   │
   =     at tests/sources/functional/address_serialization_constant_size.move:15: serialized_move_values_diff_len_incorrect
   =         mv1 = <redacted>
   =         mv2 = <redacted>
   =     at tests/sources/functional/address_serialization_constant_size.move:16: serialized_move_values_diff_len_incorrect
   =         result_1 = <redacted>
   =         result_2 = <redacted>
   =     at tests/sources/functional/address_serialization_constant_size.move:17: serialized_move_values_diff_len_incorrect
   =     at tests/sources/functional/address_serialization_constant_size.move:19: serialized_move_values_diff_len_incorrect (spec)