Fix intro to test case table, add verification method
Summary
/cc
@mlinhoff