moved verification functions out of labyrinth and trestle into their respective test files