unify test gcd makefile
add snapshotting and back stepping