Properties for runBiState(Graph)
prUp and prDown
Added Int argument to A and C constructors
Test that tree and graph automata correspond for repMin
Fixed bug in runRewriteGraph1
Added circuit delay analysis + properties
Merge remote-tracking branch 'origin/master'

Conflicts:
	TestAutomata.hs