Procedurally-generated universe exploration game No Man's Sky is so big its developers need to use bots to explore it all.