Teo has been doing some great work on adder optimisations, including a plugin for yosys that allows you to choose area vs speed. I'm organising a presentation with time for Q&A, all welcome