finish flip flop test, added skeleton of full verification test