Complexity of Verification in Self-Assembly with Prebuilt Assemblies