Some cleanup
Asserts and improved selfcheck for Etesian debugging

New assertions improve both bin_scaler (rough legalizer) coverage and
circuit selfcheck is now invoked in the main loop.
Merge branch 'master' into MST