Fixed bugs in multiply and split.

Divide and multiply are now passing tests. So is factorial. Added a few
more assertions to smoke out problems with split.