Only avoid zero-ing out dead fields of primitive value class type

- Adds test for value classes
- Adds test for while loops