solver3: Various bug fixes

Julian Andres Kloderequested to merge
jak/apt:solver3 into main

Discovered while analysing LP: #2101800

Edited by Julian Andres Klode

Merge request reports