feat: update SP1 to v4

[leruaa]

Description

Here a summary of the work that has been done in this PR:

• Updated SP1 to v4.1.3
• Updated the SP1 guest to catch up the work done since the previous implementation
• Added 2 mutually exclusive features: sp1 and r0, as there are duplicate syscalls definitions when both sp1-zkvm and risc0-zkvm are used
• Added the ability to send multiple inputs to the guest, as SP1 dosn't currently allow to read all the input from a stream.
• Added a cycle count benchmark for SP1

Linked Issues

• Fixes # (issue, if applicable)
• Related to # (issue)

Testing

Describe how these changes were tested. If you've added new features, have you added unit tests?

Docs

Describe where this code is documented. If it changes a documented interface, have the docs been updated?