pub fn layout_strategy() -> impl Strategy<Value = MoveTypeLayout>