Fix compilation for rarely-used extensions

LLVM and blocking graph extensions had old compilation
errors, undetected because they are not built by default.
API documentation for computed goto
Preserve cases in switch block with attribute

The problem went unnoticed because the list of cases is usually ignored,
except to build the CFG in --domakeCFG.

This closes #1812231.