Added tests for X::TypeCheck::Argument. (RT#76368)

Some test coverage for the PR for typed exceptions in the Optimizer for Rakudo.