Yes, I visited Woodlawn, and the included VA Cemetery, probably read, and knew about those separate headstones at the time, but it's been over 35 years since I was there, and I don't remember any specifics now.
Yep, read where those guys turned in some troops (as I remember) and they were hanged and buried separate from the rest of the Union dead.