Added emailed changes for write-back and cache inclusivity. Fixed an array access bug. Added test7.