Add documentation about supported assertion libraries.

Add 'SUPPORTED ASSERTION LIBRARIES' and 'ASSERTION LIBRARIES KNOWN TO WORK' section.