Research on backend integration options

[uhbif19]

TBD:

• Do we need to bother with Plutus at all, or just go use Plutarch from the beginning?
• Is CTL easy to be integrated and is it hard to do? Is something need to be done for Tx generated by server usage?
• Which L1 indexing solution is better? What are implications for design?
• Is quickcheck-dynamic good choice for BMC scenario? Are crooked-validators good option for mutation testing in our case? Would we need SMT integration, and if so, what are implications for project usability?