So, returning to the thread, I bought a big DeWalt "rotary hammer drill" and a bit rated to go through rebar and drilled holes in a 3x3 foot grid across the 20x35 floor. That's a lot of holes.
WIN: the rotary hammer drill is awesome. It has a spring-loaded handle; you put about five pounds of pressure on the drill, and it takes about thirty seconds to make a 1/2" hole.
WIN: I got the 8 inches of concrete I paid for. Maybe 7" in some places, maybe 9" in others, which I figure is close enough.
WIN: I hit rebar every second or third hole. I paid for "double rebar." I saw them start wiring up rebar before they poured, but I didn't see them finish before I had to go to work. Looks like they did a good job.
WIN: even with all the holes and rebar, the Bosch SDS drill bit seems as effective as it was when I started.
WIN: there's no noticeable hole where the tree stump is/was
WIN: the back 10 feet or so of the slab is on a road; it's all good there
LOSE: the front 10 feet of the slab was on "Donnafill" over whatever had been used to fill in the ditch in the late 1940s. The fill has subsided under the whole front of the slab, *except* for the outside edges. The gap seems to average about 3 inches. I carefully broke through the bottom of the slab with the drill, then used a steel rod with a T-handle to probe underneath.
LOSE: that's a large volume under there, which the local slabjackers feel is worth about $2,500 to fill.
[sigh]