Proptest for define functions

[matteojug]

This PR adds some basic proptests for define-(public|private|read-only) (#289).

There are 4 tests repeated for the three functions (with small variations):

• Define a fn accepting random args, returns another random value
• Define a fn accepting random args, returns one of the args
• Define a fn accepting random args, returns a tuple using all the args
• Define a fn accepting random args, do a var-set and return a random response (excluding define-read-only)

While writing this I encountered two issues (#473, #475) that could inspire some more proptests (random fn/arg names, adding more ops in the fn body to mess interact with the stack); please let me know if you want to add those or some other test.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 85.87%. Comparing base (95e2b63) to head (3c00cae).
Report is 4 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #476   +/-   ##
=======================================
  Coverage   85.87%   85.87%           
=======================================
  Files          44       44           
  Lines       19995    19995           
  Branches    19995    19995           
=======================================
  Hits        17170    17170           
  Misses       1324     1324           
  Partials     1501     1501           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[Acaccia]

Looks great, just a small typo

[matteojug]

Re-adding to merge queue: the proptest error (values::constant_define_and_get) seems the same issue as #452

[Acaccia]

It's actually due to this one: stacks-network/stacks-core#4622
Can't wait for it to be fixed :(