Attached is a patch against 9.6 to add support for informing logical decoding plugins of the new sequence last_value when sequence advance WAL records are processed during decoding.
Attached a slightly updated version. It just has less spam in the regression tests, by adding a new option to test_decoding to show sequences, which it doesn't enable except in sequence specific tests.