Fix misc-tests/no-query.cvc query-file test when building with asserts by removing "assert(0)". It seems these were put here for debugging with gdb, this is bad practice! Developers should just set breakpoints instead!
Fix misc-tests/no-query.cvc query-file test when building with asserts
by removing "assert(0)". It seems these were put here for debugging with
gdb, this is bad practice! Developers should just set breakpoints
instead!

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp