Merge pull request #8 from andrewlow/master

Simulator fixes for cleansing of top nibble in addresses on 31-bit zLinux
Fix the STFLE detection code properly for non-s390 host platforms.
Remove STFLE assert