It does make sense to ask, but on the other hand it makes extremly lot of sense that the modules would at least include the maps. I mean, if someone where to port a paper-version of some game module into a Roll20 module, I could think porting maps would be the simplest thing to do, if compared to making dozens of tokens, converting statblocks, formatting handsouts and so on. Then of course ig's and entirely different thing if any specific map also includes the advanced features like dynamic lighting and the like, but pretty sure those things are mentioned in the module description. All offical D&D and PF modules have with good likelyhood dynamic lighting lile Pat. S said.