I never read the thread all the way down but what about this? It's not suitable for ALL situations but providing you cater for collisions above the player, it works:
This catches collisions better when the platform is moving upwards :)
MoveEntity player,0,2,0 ResetEntity Player moveentity Player,0,-2,0
This catches collisions better when the platform is moving upwards :)