Async FIFO (Gray pointers)

Cross-clock FIFO sketch: binary counters for addressing, Gray pointers through 2-FF sync for empty/full.