Remove while loops from backbone entities

[Dionysis Zindros]

Backbone entities do not need while loops. Instead, the code should be what they will execute when the environment invokes them. They also need a description of initialization. This will require mentioning that the initial state of the chain variable C is ε. Furthermore it will require changing the full node and miner code.