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.