Updated projects to reference ExtCore 0.8.37 and FsCheck 0.9.2.