Performance tests

It is desirable to provide performance tests for the type checker, so as to compare its successive versions.

changed milestone to %Alpha release

assigned to @loutr

created branch 14-perftests to address this issue

mentioned in merge request !16

changed title from Provide performance tests to Performance tests

removed milestone %Alpha release

added 1 deleted label

mentioned in merge request !40 (merged)

mentioned in commit 3f616059

mentioned in commit 8b20ac80

mentioned in commit 30144fc8