0.3.4: Various updates from model and dynamic stages

Select Variant for code highlighting and handle unknown instructions.

Stages are now dynamic depending on the trace (such as ibex).