Verify strict is the default — no explicit mode set.

Returns true if the target should be outlined instead of inlined.

Strip trailing '-<digits>-' or '-<digits>' suffixes that encode addresses. Examples: 'realadd-5368713230-' -> 'realadd' 'real_return-5368713239-'

For a few percent faster code, you can also override `verify_output_has_enough_bytes_left()` and return `false`