Firedrake Wave: access data read-only rather than force evaluation