There are a number of loose ends in order to get the binary BlockVerifier to a fully working/closed state. Tracking of those will be achieved through this milestone. The goal is to get this merged into the main branch, with no loss of results.

Most of the work for this milestone is being done in the termination_soundness_total branch.