Merge pull request #2 from th0114nd/master

Common testing most of the way there.
Merge branch 'master' of https://github.com/pierce-m/uffda
Merge pull request #3 from th0114nd/master

More testing.
Added propEr test for Up/Down sequences.
Fixed error in proper_state_sequence test.
Merge branch 'master' of https://github.com/pierce-m/uffda into pierce-m-master

Conflicts:
	test/uffda/uffda_basic_SUITE.erl
Merge branch 'pierce-m-master'