Bring padding machines into sync with Tobias's latest changes

Tobias has added some changes to the padding machines in his latest research: in particular, the padding machine can respond to queue length/congestion signals. I believe there are now also probabilistic transitions (ie #31636 or #31787).

I need to read his latest paper, sync with him, and discuss these things. This will generate new tickets.