WCET analysis support for Debie

New CMake BUILD_WCET_ANALYSIS changes build settings when we want to run WCET
analysis (iso. testing/validation).
Debie: Prevented some inlining of analysis entry points (when in
BUILD_WCET_ANALYSIS mode), also commented out the inline asm labels as they get
duplicated in O1 builds.