Quote ="Jason"Was the ref being pedantic'"
No.
Quote ="Jason"should Gleeson had just "left it".'"
Yes.
You have to wait until the ball stops moving before the team that kicked off can be penalised for it not going 10m. Whilst it is still moving it could (in theory) still make the 10m. No player can touch the ball until it has gone 10m.