Attack modeling

[Geometer1729]

We want to make it as easy as possible to model common attacks with apropos.
This should look something like data WithAttackProps p = Attack AttackProp | SubProp p and
data WithAttackModel m = WithAttackModel AttackModel m
and it should be easy to implement LogicalModel HasLogicalModel HasPermutationGenerator HasParametizedGenerator (this should probably involve a generic HasAbstractions instance) and easy to create a ScriptModel using these wrapper types. The script model should probably use the ContextBuilder module.

The attacks should include most of the common plutus vulnerabilities from the slab article, as well as simple ones like removing some ada or other tokens and sending it to a random pubkey.

[AriFordsham]

@Geometer1729 @jfaure Am I correct this is considered unfeasible at this point?