Merge branch 'uniquify' into 'master'

Remove automatic uniquification of instruction ids in the kernel

Closes #89

See merge request !148