Code extractor outlines function with token parameter which isn't an intrinsic. This patch:
- Adds a verifier to check valid parameter types.
- Allows hotcoldsplit to bail out once input parameters are calculated (before splitting)
- Adds a sanity check using the verifier in debug mode (after splitting)