Put SBVUnitTest into ghci search path
Be more strict when merging arrays
Improve basic test handling
Re-add timestamp file (accidentally deleted)
upate timestamp file