test: check problematic least-supertype

[brice-stacks]

Adds an integration test from an old issue.

[jacinta-stacks]

There is nothing wrong with this, but it might be better suited as a ConsensusTest.

For e.g. this could reduce to:

contract_deploy_consensus_test!(
    chainstate_error_expression_stack_depth_too_deep,
    contract_name: "test-exceeds",
    contract_code: "(define-data-var my-list (list 10 { a: int }) (list { a: 1 }))
(var-set my-list
  (unwrap! (as-max-len?
    (append (var-get my-list)
            { a: 2, b: 2 })
    u10)
  (err  1)))
(print (var-get my-list))
",
);

And the output snapshot will basically show that for both Epoch 3.2 and Epoch 3.3 the transaction publish fails and with what error specifically.

[brice-stacks]

Interesting, that certainly is concise! I don't like that there is no explicit check that the contract is not deployed in the test. I guess that would show up in the snapshot though? I still haven't looked into how these tests work exactly.

[jacinta-stacks]

So it would show that the transaction itself fails with an error. If you want I can run through it with you :)

[brice-stacks]

@jacinta-stacks is going to take this over and make it work in the consensus test framework.