small fixes after some testing

- mk_star in Symexec keeps * flat
- return error code 1 if NOK
- result is OK if verify is expect to fail
- don't use abduction for directory check_tests