Changelog for algebra-checkers

Unreleased changes