Secure batch decode implementation

[filmakarov]

Add secure decodeBatch implementation
https://github.com/Vectorized/solady/blob/21e3649841829dd3b265d1228defefb23b5d977b/src/accounts/LibERC7579.sol#L149

---

PR-Codex overview

This PR focuses on enhancing the functionality of the MockExecutor contract and its tests by modifying execution handling, particularly for batch executions, and improving the decodeBatch function's implementation for better safety and clarity.

Detailed summary

• Modified the executeFromExecutor function in MockExecutor to handle additional execution cases.
• Increased the size of the Execution array from 1 to 2 for batch processing.
• Updated the decodeBatch function in ExecLib for improved safety and clarity using memory-safe assembly.
• Adjusted tests in TestAccountExecution_ExecuteFromExecutor to accommodate changes in execution handling and ensure the correct revert conditions are checked.

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

[github-actions]

🤖 Slither Analysis Report 🔎

Slither report

# Slither report

THIS CHECKLIST IS NOT COMPLETE. Use --show-ignored-findings to show all the results.
Summary
🟡 - locked-ether (1 results) (Medium)

• constable-states (2 results) (Optimization)

locked-ether

🟡 Impact: Medium
🔴 Confidence: High

• ID-0
  Contract locking ether found:
  Contract NexusBootstrap has payable functions:
  • ModuleManager.receive()
  • ModuleManager.fallback(bytes)
  • NexusBootstrap.initNexusWithSingleValidator(IModule,bytes,IERC7484,address[],uint8)
  • NexusBootstrap.initNexus(BootstrapConfig[],BootstrapConfig[],BootstrapConfig,BootstrapConfig[],IERC7484,address[],uint8)
  • NexusBootstrap.initNexusScoped(BootstrapConfig[],BootstrapConfig,IERC7484,address[],uint8)
    But does not have a function to withdraw the ether

utils/NexusBootstrap.sol#L33-L185

constable-states

Impact: Optimization
🔴 Confidence: High

• ID-1
  RegistryAdapter.registry should be constant

base/RegistryAdapter.sol#L10

• ID-2
  RegistryFactory.threshold should be constant

factory/RegistryFactory.sol#L38

_This comment was automatically generated by the GitHub Actions workflow._

[openzeppelin-code]

secure batch decode + test fix

Generated at commit: 451ed01d5f6dd54da4b46b1369276ddc5f8c4cdd

🚨 Report Summary

	Severity Level	Results
Contracts	Critical High Medium Low Note Total	1 1 0 6 29 37

---

For more details view the full report in OpenZeppelin Code Inspector