pub fn check(stats: &SoakStats) -> Vec<Violation>
Check every soak invariant. Returns the (possibly empty) set of violations.