Add debug invariants that no network calls are made nor locks acquired AFTER a flow control ticket has been taken by an operation. This is an existing concern for flow control that was investigated previously via patch builds, but no blockers were put in place to prevent future code changes.