so I'm wondering how easy it is for government agencies to check for stored Bitcoin in the wallet.
Very difficult, unless :
1. The HW wallet suffer from known vulnerability, but most of the times it can be mitigated by updating the firmware.
2. The HW wallet have backdoor, which could be solved by open source HW wallet.