Mark RemoveCFGAliasing as preserving GatewayFunctions.
Implement signature checks for control flow between functions.

First draft, lots of potential for cleanup.
Remove obsolete passes replaced by InstructionIndex.