more quickcheck properties on the issue of encoding / decoding JS.Value
more flexible cerial instance for js.value