refactor(Simulate): purge the use of unconstrained functions when not needed

[LHerskind]

As other tasks in #5449 is fixed, a lot of the currently existing unconstrained functions can be purged from existence as we should be able to simply use their public/private counterparts.

[LHerskind]

We ended up reverting these changes as the execution environment is very slow and it ~doubled the test run-times from 8 to 17 minutes 💀

Eventually we should be fast enough to use it, so re-opening this issue for when that day comes.