Add naive multiplication implementation and tests