Fixes a qEval bug, adds more exercise assertions to the database.
Fixes a qEval bug, adds more exercise assertions to the database.

CompSciCabal/SMRTYPRTY,CompSciCabal/SMRTYPRTY,CompSciCabal/SMRTYPRTY,CompSciCabal/SMRTYPRTY