> notoriously difficult to properly set bounds on behavior

Actually it's trivial: just put a bound on the amount of available memory and do a worst-case analysis to GC it all.

The hard part is not engineering the system to have a bound, it is engineering the system so that the bound is reasonable for practical use.