Narrowing interpreter to actually generated instruction semantics.

This MR is stacked over !35 (merged).

It allows to interpret only the instructions for which the interpretation trait has been generated by polyrun.