When a variable in write only and can't be removed, e.g. for API
reasons, it is useful to document this fact similar to diagused
and witness_used.

Add __writeonly to tell the compiler and anyone looking at the code
that this variable is expected to only be written to, and to not
raise and error.

Sponsored by: Arm Ltd