This dramatically reduces code size since we no longer inline all these VERIFY() checks everywhere. Appears to be performance neutral.