Flaky proptest for principal-destruct? function

[csgui]

When a proptest generates a call to principal-destruct? like (principal-destruct? 'SN1FYF0DD8SB9539ZA90S266DT8MX1STNCSV9F6Z0.u7E0cd1-------53--2-----N-) it fails.

It is possible to generate a contract principal using (principal-construct? 0x15 0x5fe781ad4656928d3f52419118cdd229d0e75566 "u7E0cd1-------53--2-----N-"). However, decomposing that generated principal into its components is not possible: (principal-destruct? 'SN1FYF0DD8SB9539ZA90S266DT8MX1STNCSV9F6Z0.u7E0cd1-------53--2-----N-) fails.

This is due to an issue in stacks-core. stacks-network/stacks-core#5330