I think one of many solutions is to export your addresses from the Bitcoin Core console using the command dumpwallet "path/to/output_file.txt" and then check them on the blockchain, or import them into Electrum to visualize their balance. This way, you avoid synchronizing the full node and prevent any address from being overlooked in the wallet.dat file, whether it's a change address or for any other reason that might cause an address not to be shown in Bitcoin Core.

You can use dumpwallet in Bitcoin Core and import private keys from wallet dumping to Electrum wallet for checking address and wallet balance. Electrum is a SPV wallet and you don't have to sync your wallet for a long time like Bitcoin Core.