start converting verify-using-mock-input to test-framework + smallcheck
add travis CI config