WIP trees
WIP: +PayScript, split verifyInput
Relax stm-conduit dependency to "< 2.6"