Merge pull request #4693 from RosettaCommons/revert-4692-revert-4624-vmullig/threadsafe_approximate_buried_unsat_penalty
Re-merge "Make the ApproximateBuriedUnsatPenalty threadsafe". (Reverts RosettaCommons/main#4692).
This re-merges the thread-safety fixes to the ApproximateBuriedUnsatPenalty.
Tasks:
- [x] Figure out what's causing the bug and fix it. --> A spurious pair of runtime_asserts have now been removed.
Note: this diff (https://github.com/RosettaCommons/main/pull/4693/commits/d6dd51482bc8e7d857263381317db30f544b5c6d) shows the only changes from pull request #4624 (for which this is a reversion of the reversion).