To reduce overhead, but retain most of the verification guarantees, we could consider making all calls debug-only, except the one in ~CodeBuffer.
Re-examine use of CodeBuffer::verify_section_allocation
To reduce overhead, but retain most of the verification guarantees, we could consider making all calls debug-only, except the one in ~CodeBuffer.