Bring back the attacks

[carlhammann]

This builds on top of PR #191 and brings back the attack language and its tests. Most changes are mechanical, with the following exceptions:

• Since we're not anymore using constraints, the whole module Cooked.Attack.Tweak.AddConstraints found on main is replaced by a much simpler module Cooked.Attack.Tweak.AddInputsAndOutputs. In particular, I decided to delete all the complicated tests we had for the former module without any replacement, since the new module is much simpler.
• The optics module Cooked.Tx.Constraints.Optics is now much smaller. I don't any more strive for "completeness" (which was probably misguided energy in the first place). The optics that are now automatically defined using TH in Cooked.Tx.Constraints.Type already cover almost everything we need.

If you cabal test examples, you will see that all of the tests for the auction contract that we have on main now work again. With cabal test cooked-validators, you'll run all of the tests of the attack language, which exercises practically all of cooked.

[carlhammann]

I left a few comments to make it easier to evaluate the changes in this module. I did not comment anything on the tests, since they're literal translations of the test on main. I have also moved some of the tests to different places in the module hierarchy, which is one of the main sources of the inflated line count on this PR's diff.