Finished wrinting test cases for gmntools module. Fixed bug in
witness_expectationvalue memberfunction of gmn class.