updated test driver
changed interface to check_* functions: sfac now internal, verbose option to be implemented in the future