ATM `checkbounds(A, Block(K))` throws a `BoundsError` not a `BlockBoundsError`
ATM
checkbounds(A, Block(K))throws aBoundsErrornot aBlockBoundsError