Debug sections become implicit
Increase test timeout

This should prevent false-negatives on unpredictably slow veficiation
tests such as invalid/RedBlackTree.