audit F4/F8/F9: boot_check asserts a real boot; cipher-suite doc fix; runnable no-REU KAT - #80

audit F4/F8/F9: boot_check asserts a real boot; cipher-suite doc fix; runnable no-REU KAT#80

JC-000 merged 4 commits into

docs/benchmark-refreshJC-000/c64-https:docs/benchmark-refreshfrom

fix/audit-f4-f8-f9-harness-docsJC-000/c64-https:fix/audit-f4-f8-f9-harness-docsCopy head branch name to clipboard