Merge pull request #4692 from RosettaCommons/revert-4624-vmullig/threadsafe_approximate_buried_unsat_penalty
Revert "Make the ApproximateBuriedUnsatPenalty threadsafe" temporarily
Reverts #4624. This PR introduced a bug that I need to track down that's tripping a few people up. Sorry about that.
@bcov77