[condorcet] Create test harness for Condorcet matrix module
[condorcet] Create a basic test plan
[condorcet] Add tests for Get_Size and Is_Valid_Vote
[condorcet] Compilation option: include dynamic check of contracts
[condorcet] Add test of Is_Valid_Vote_Matrix

* Put global variables in test fixture.