checkStableInvariants

Check any invariants of the builder that should hold when it is idle.