I would scrape the heavy stuff off walls and floors, pick up all the
debrs as best as possible, then pressure wash everything.....

I lived in a home converted to natural gas from coal heat and have
been in many homes that were converted.

Although there was some loose coal dust in basement the coal cellar
rooms were always clean so it must not have been hard to clean