Version 1.7 Release

This release adds support for directly using Qiskit QuantumCircuit objects (as well as corresponding .pickle files) as input to the verification tool.
Many of Qiskit's operations are natively supported and directly translated to our Quantum Functionality Representation (QFR).
Any non-native operation is decomposed using Qiskit's definition of the operation until only native operations remain.
A release that allows to incorporate compilation information (e.g., logical to physical qubit mapping) is planned for the future.

Due to these changes, the interface of the qcec.verify function has changed: the parameters file1/file2 are now suitably called circ1/circ2.

This release also fixes a small issue where the naive and lookahead method could not be set correctly.