switch lex tests to new spec.h style of testing