Several enhancements to gr-trellis and gnuradio-examples/python/channel-coding: