aeon: fix compat issue

language: add support for ObservationVar on left of nonreach operator

marker reprogramming: extract relevant sub-network beforhand

readme

improve compatibility with mpbn

use mpbn for BN encoding and non-monotone support

fix release action

hypercube(): add {min,max}_dimension constraint

bonesis-attractors: add scope option

fix BonesisView with mode="opt"