Onionmasq is currently experimenting with using Smoltcp. Orbot is moving to using Leaf, and Orbot-ios is currently using Leaf.
We should choose the best option.