Describir: Certifying homological algorithms to study biomedical images