various stackmaptable bug fixes

StackMapTable documentation in oracles specification is a mess and
partly wrong, so major fixes had to be applied.