Doubling down on security analysis

[lgalabru]

A few years ago, @obycode introduced the check checker to clarinet.
I wonder how far we could push this lead - https://github.com/nascentxyz/pyrometer could be an interesting approach to investigate.

[smcclellan]

@hugocaillard Thoughts on this?

[hugocaillard]

Definitely something we should do 💯