In a crypto first, a protocol that doesn't rug users? Leviathan's auction UI now supports withdrawing $SQUID on losing bids.