Add the new Systems Verification course to the Computing optional modules