Async fifo: don’t update state on produce when n = 0

[xross]

Guard against easy usage mistake. Added some comments.

Note, this is into a feature branch allowing early access to externals.