[ProbeStore] Assert various invariants
[ProbeStore] Simplify get() a little

We know how beforehand many times to increment, so for is easier than
while.
[ProbesModel] Add missing include
[ProbesModel] Fix tree model