feat: use assembly implementation of `add` module

The goal of this issue is to replace the existing `lisp` constraints for the `add` module with an assembly implementation.  Since we currently have to maintain backwards compatibility with old versions of `go-corset`, the `LONDON` fork must still use the old `lisp` constraints (for now).