Tx to pc

I think I'm happy with this, but I'd like to know whether the way I'm getting the keys is the recommended approach (the changes to ensemble_vertex and decoder_edge).