Assert-like extension nodes that raise useful errors on failure

Part of the Jane Street's PPX rewriters collection.
