Inclue subproblem names in ActionSpecs for further sanity checking.

Always split the uniq supply so that the supply for following problems
is independent of whether we have a tape for the current subproblem.

Give more detail when short a subproblem tape.