Use register_correction

[davesnx]

Instead of register_transformation and raise error, use register_correction which suggest the corrected AST to the user. Still not sure how the correction pops up in the editor/console but depending if this is useful would be really benefitial.

In the exhaustive dependencies in useEffect, it should print the expression with the new dependency array and the new useEffect{{number}} fn name.

[davesnx]

https://binaryanalysisplatform.github.io/bap/api/odoc/ppxlib/Ppxlib/Driver/index.html#val-register_correction