Additional CCall test cases: as we would like to start depending on the
hardware exception handler enforcing tag/etc checks at some point soon,
add explicit test cases -- which will also help convince us that the
kernel's CCall is correctly implemented.

Interestingly, the type-mismatch case fails due to an incorrect exception
code (return instead of type).  This could be a processor bug, but
slightly unclear still.