SI-5954 Add traits with companion objects to the test

The test wasn't checking traits with companion objects.
SI-5954 Add a flag to disable the companions in pkj objs restriction

A handful of tests were falling afoul of the new implementation
restriction. I verified that they do in fact fail on second compile so
they aren't false casualties. But they do test real things we'd like
to work once the re-compile issue is fixed. So I added a -X flag to
disable the implementation restriction and made all the tests
accidentally clobbered by the restriction use that flag.