Update a couple of header inclusion guards
ExecutionEngine: avoid NDEBUG in headers