Add assertparamcheck, to help with arg type checks

This will be used to add a new feature to the Moar code-gen in NQP,
which in turn will be used for binder fast-pathing in Rakudo.
Decont while auto-unboxing.

Works for the common case.