A few details for the C generator
1. Allow relevant atomic specification for reads and writes
2. Enable listing of candidate relaxations.
3. Adapt classify