Thought we should make an issue for this. Can synthesize this using a trick: https://vlsi-soc.blogspot.com/2013/06/dual-edge-triggered-flip-flop.html