Core state-transition function and datastructures for Themelio.
This is the most consensus-critical part of Themelio, and essentially defines the entire on-chain logic of the Themelio blockchain.