If you're worried about him, you can buy a kitchen scale with a grams setting, and write down his weight (in grams) before every meal. He should shed at least once for every 100 grams of growth.

I've had ball pythons go that long between sheds. It's unusual for babies to go longer than 2-3 months, but 4 months isn't crazy. They don't always read their own care sheets...