update the version of the Spin model checker included with Plan 9 to the newest version, 4.3.0