Add tests for PQC algorithms

Check some tests that check that sqv can work with PQC algorithms.