Famous last words!! ;) Reckon it'll be a hefty job, but well worth it. I personally wouldn't worry in the slightest about the subsidence issue, and there's no way any remaining roots will regrow at a later stage. Get rid of the stump and the roots around the immediate area of the stump, fill in...