This also removes references to the "extended matrix" in favor of just "matrix" which I think is better. It's not an extended matrix, it's a matrix of extended blobs. Technically it's just a matrix of cells/proofs.