HPS: Add verify support

Closes #1375.