[BefunExec] Added BefunHighlight to BefunExec
[BefunExec] Improved BefunHighlight performance & added SH update