Assertions library option

Closes #115 
Closes #255