We found that the QuickCheck properties were failing every once and a while on the empty matrix case, this seems like an appropriate fix. We are open to any suggestions here as well.