[V111-specific] Check whether Coins are length 0 for swap_current burnCoins

[V111-specific]

Intended to close #1537 (closed)
'burnCoins doesn't check whether the Coins length is 0, and so emits null-amount transfer events'.

(Can be closed by !2843 (merged), which removes burnCoins entirely.)