TEST: Verbose echo of commands in test-verification.sh
TEST: Verbose echo of commands in test-verification.sh

Also, provide summary of error if there are failures.  In this
changeset, the code for checking against the free_counter.spc
specification is made more general, which facilitates adding more.

slivingston/gr1c,slivingston/gr1c,slivingston/gr1c