The Rigor testing framework