fix: in Lock, prevent flambda from reordering mutex-protected operations

fix: in Lock, prevent flambda from reordering mutex-protected operations #458