Updated projects to reference ExtCore 0.8.37 and FsCheck 0.9.2.
Merge branch 'master' into graham-optimized