Feature request: "lax" interpreter that will flag (but not fail) some issues

[apoelstra]

Our current interpreter assumes standardness rules and will fail when one is violated during evaluation (e.g. a non-null invalid signature, or a non-minimal if). Would be good if we could recover from these but somehow indicate to the user that something is wrong.

Probably ought to be prototyped in Esplora.