I'm not aware of such a program, but if you use the batch processing method that I've described in the thread below then you can write a skill program that checks for the info you're looking for http://www.cadence.com/community/forums/T/22844.aspx
pseudo skill code could be something like
open report file, write dra name to report
get all shapes
check if one of them is dfa_bound_top, if not write message to report
check if place_bound_top has height property, if not write message to report
Another approach could be to create a skill program that runs through all symbols that can be seen from the psm path and do the same as outlined above.