Remove ability to check unreachable code.

Currently if we enable this feature, the math library doesn't type check. Given that we don't actively test with it, I'm proposing we get rid of it.

This commit also moves more of the logic to the module that stores the table from tc-if, which now just records if branches are taken.