I think I may have solved this, but I am confused.
If I go to Preferences->MIDI, and I *uncheck* "Zero Controllers When Play Stops", then behavior is as I desire: Pressing Stop during playback will turn off all notes *and* turn off the damper pedal on my piano.
However, this is the opposite of what I thought this option should do. It was previously not working for me because I had made sure that this option was checked.
In any case, as long as it's working I'm happy.
EDIT:
Ok, I jumped the gun here. That did not fix it. But at least now I am less confused.