That should never fail, so I think an assert is good. Due to the properties of matrix `Q_bar` it can't have rank greater than that bound.