Write barrier for updates to heap-allocated objects.
The key for this barrier is to identify stack objects that contain heap references, so they can be marked to avoid collection.