Support more than six arguments to functions

[jgthomas]

Currently succ only supports passing six or fewer arguments to a function, as these are passed via registers in 64 bit assembly. This would require support for passing additional arguments on the stack.