Added AssertionAnalysis.
Implemented assertion counting in AssertionAnalysis.
Interactor notifies counters of communication assertions.
Fixed bug: assertions from previous time-steps were counted.
Added assertion counting stuff to experiment set-up.