pub fn value_strategy_with_layout(
    layout: &MoveTypeLayout
) -> impl Strategy<Value = Value>