includes verification.cpp; partially modified from d
Merge branch 'master' of https://github.com/Robert-Emerson/6161_final