All other coinjoin implementation besides whirlpool are not mathematically deterministic and are currently being demixxed by chain analysis 

the use of op return allows for TxO which ensures fees are paid, acts as a sybil attack defense and creates the unified values 

it isn’t buggy, broken or in need of a fix — people who have never coded a successful coinjoin sure seem to have a lot to say about how they should work