added n>2 modelling choices
Merge branch 'master' of https://github.com/crazysheeep/x86-tso
added stuff
Merge branch 'master' of https://github.com/crazysheeep/x86-tso