build: Enable -DVERIFY for precomputation binaries #1318

1. 
   real-or-random commented at 9:30 pm on May 17, 2023: contributor

   because… why not?!

   I realized that this can’t hurt when working on #1313.

2. build: Enable -DVERIFY for precomputation binaries 5768b50229
3. real-or-random added the label assurance on May 17, 2023
4. real-or-random added the label build on May 17, 2023
5. 
   sipa commented at 5:21 pm on May 18, 2023: contributor

   ACK 5768b502291ed4214cf84b7d80ff540ed57d45c4

   Indeed, why not?

6. real-or-random merged this on May 19, 2023
7. real-or-random closed this on May 19, 2023

   ---

8. vmta referenced this in commit e1120c94a1 on Jun 4, 2023
9. sipa referenced this in commit 901336eee7 on Jun 21, 2023
10. vmta referenced this in commit 8f03457eed on Jul 1, 2023
11. hebasto referenced this in commit 270d2b37b8 on Jul 21, 2023
12. jonasnick cross-referenced this on Jul 26, 2023 from issue Upstream PRs 1314, 1317, 1318, 1316, 1327, 1310, 1328, 1333, 1330, 1334, 1337, 1341, 1339, 1350, 1349, 1338, 1129, 1347, 1336, 1295, 1354, 1355, 1356 by jonasnick

Contributors
real-or-random sipa

Labels
assurance build