bugfix: array-based ==/!= comparisions lead to invalid results

This was a regression introduced in 7.3.5 bei the PRI optimizer
Merge branch 'v7-4-4-ak' into v7-stable
nit: re-order ChangeLog entries
require libestr 0.1.7
Merge branch 'v7-stable'