Implement Rizin as an alternative binary code exploration backend

[alessandrocarminati]

Introduce Rizin as an alternative backend for binary exploration within the kernel exploration tool. Rizin, a fork of radare2, promises increased stability and potentially more accurate functionality, making it a viable drop-in replacement.

Tasks:

1. Integration of Rizin:
   • Research Rizin's compatibility and interface with the existing kernel exploration tool.
   • Implement Rizin as an alternative backend, maintaining compatibility with existing interfaces.
2. Functional Equivalence Testing:
   • Test and compare functionalities between radare2 and Rizin to ensure feature parity.
   • Evaluate stability, accuracy, and performance metrics of Rizin.