Extend iszero specialisation

[veronikakurth]

Once #34 is merged, CuOperator will support iszero specialization.
However, the current check is trivial and covers only checking for zero factors.
This has to be extended to check for elementary matrices being zero and for cancelling terms.