ensure the assertion is checked, caught threshold-binary-inverse testing bug