Optimize constraints compilation and use Plutarch

[uhbif19]

Possibilities:

• [ ] Compile all generic code using Plutarch
• [ ] Use short-circuiting and appropriate primitives
• [ ] Compile to optimal code in terms of only iterating tx fanouts once (probably it is not always optimal)
• [x] Check if AsData works well for our cases and use it everywhere or switch to Plutarch (in particular profile Registry Add case)

TODO:

• [x] Compile Plutarch dep (Relevant issues: https://github.com/Plutonomicon/plutarch-plutus/issues/676)
• [x] Add Plutarch code mixing with Plutus
• [x] Rewrite skeleton and stage/signature checks
• [ ] Rewrite main constraints checks

Blocked by #46

[github-actions[bot]]

Status: Blocked :x:

Issues blocking this PR:

• 46 :x:

  ---

  This comment was automatically written by the Blocking Issues bot, and this PR will be monitored for further progress.

[uhbif19]

Seems like AsData does not mix well with our HasSpine approach, probably we may need to use some custom wrapper around it or customize HasSpine generation.