Ensure matrices/states the user gives are normalised
Check matrices are hermitian/unitary, and complain to the user if they aren't