[pulse] Fixes to frame-synchronization semantics, example, and added Attributes section

- Fix a timing bug in the Ramsey-type example by adding synchronization
- Correct the barrier intrinsic's synchronization semantics
- Added text to the Attributes Section
- Renumber the optional-capabilities list

Author: akshay9594