Fixed bugs in CompletelyPositiveQ and TracePreservingQ for numerical channels; switched Unitarity to use the Weyl basis; and implemented DiamondNormDistance for unitary channels and matrices

Author: ihincks