(Temporarily) remove the remaining typecase checks.

6e1cac72fd0660cd26beb6bb1f7ed5a1b65ec9bd temporarily disables the
typecase test, but some checks remain and continue to cause undesired
behaviour. This patch temporarily disables the remaining checks.
Merge pull request #840 from SimonJF/tcase-remove

 (Temporarily) remove the remaining typecase checks.