[WIP]  Added PT and HE sanity check.

So this implements some tests of whether the inputs to PT and HE are compliant all constraints.

This is a fix for the current `create` and `resume` scheme.