The new shadow work in the dev branch has caused a regression on determinism. The first step is that we should re-enable our determinism test case that runs phold and ensures that those results are deterministic. See also #666 which documented issues we discovered and fixed with the classic (v1) architecture.