Only require mac_veriexec for verified_exec

The veriexec option is redundant, mac_veriexec is sufficient.

MFC after: 1 week

2. 72 columns --| #
3. Uncomment and complete these metadata fields, as appropriate: #
4. PR: <If and which Problem Report is related.>
5. Reported by: <If someone else reported the issue.>
6. Reviewed by: <If someone else reviewed your modification.>
7. Approved by: <If you needed approval for this commit.>
8. Obtained from: <If the change is from a third party.>
9. MFC after: <N [day[s]|week[s]|month[s]]. Request a reminder email>
10. MFH: <Ports tree branch name. Request approval for merge.>
11. Relnotes: <Set to 'yes' for mention in release notes.>
12. Security: <Vulnerability reference (one per line) or description.>
13. Sponsored by: <If the change was sponsored by an organization.>
14. Pull Request: https://github.com/freebsd/<repo/pull/###>
15. Differential Revision: https://reviews.freebsd.org/D### #
16. "Pull Request" and "Differential Revision" require the *full* GitHub or
17. Phabricator URL. The commit author should be set appropriately, using
18. git commit --author if someone besides the committer sent in the change. #
19. Uncomment and complete these metadata fields, as appropriate: #
20. PR:
21. Reported by: <If someone else reported the issue.>
22. Reviewed by: <If someone else reviewed your modification.>
23. Approved by: <If you needed approval for this commit.>
24. Obtained from: <If the change is from a third party.>
25. MFC after: <N [day[s]|week[s]|month[s]]. Request a reminder email>
26. MFH: <Ports tree branch name. Request approval for merge.>
27. Relnotes: <Set to 'yes' for mention in release notes.>
28. Security: <Vulnerability reference (one per line) or description.>
29. Sponsored by: <If the change was sponsored by an organization.>
30. Pull Request: https://github.com/freebsd/<repo/pull/###>
31. Differential Revision: https://reviews.freebsd.org/D### #
32. "Pull Request" and "Differential Revision" require the *full* GitHub or
33. Phabricator URL. The commit author should be set appropriately, using
34. git commit --author if someone besides the committer sent in the change. #