fix #10: add sanity check to DiagonalOperator