Updated Sylvan to version 1.9.1

[mlaveaux]

Updated Sylvan to the latest version, this pull request is simply to run the CI. This should resolve thread safety issues for ARM processors.

[mlaveaux]

In Sylvan 1.9.1. the LACE_ME macro was removed, that we are using in several places. Instead, it is now necessary to define lace tasks explicitly to use the RUN macro for all of them. This includes various functions that we were already using and things that were explicit C functions but that should be executed from within a lace thread. Furthermore, it seems that protection should also be performed within the LACE thread, so we need various wrappers to apply the protection before returning to the main thread.