Refactor uint512 to use blockext (#562)

* fix segfault when a snapshot of a box is taken

* enable test

* enable more corelib tests, like keccak ones

* refactor u512 to use blockext

---------

Co-authored-by: Iñaki Garay <igarai@gmail.com>