Automated Compliance Checking of NSF Proposals