block: BFQ: Add several invariant checks