Committing from Mac before attempt to merge in design check_validity
function.
Merge branch 'master' of https://github.com/tsquared89/Design-Synthesis.git