'go test' not non-verax-tests.sh

* rm non-verax-tests.sh, Travis
* separate verax directory
* disable TestGenericWalk
* update readme's