Test and document proc with function assertions

[theory]

Add tests for all of the function assertion test functions to ensure that they also work as expected with procedures. Document that support where appropriate. Closes #329.