Bitwuzla at the SMT-COMP 2020