Fixes in oqs-tests.js