Open
Description
Currently, a few AtBContract tests are non-deterministic because we did not have the means to easily mock MMRandom. Now that we do have the means, we should make these tests deterministic to avoid the needless churn when codecov thinks your PR adds or removes covered lines.