What was throwing me off was that the sequencer patches were always synced to the same tempo (whatever Global BPM happened to be set at). In order to set a different BPM for each sequencer pattern, one must first turn off the Global Sync on the SEQ page of each pattern. Then a pattern-specific BPM shows up and can be changed.
I agree that always being able to see the current tempo would be useful.