Don't assume anything, in most cases they will only do what is necessary to get a level surface, digging out problem grass is above and beyond that.
I'd be hitting that stuff with some roundup about 2-3 weeks prior to the pool install since Roundup requires sunlight and actively growing vegetation to work.
Bookmarks